Branch and cut